@if uaType applet
@def baseSize 10px
@else
@def baseSize 12px
@endif

html {
    overflow-y: scroll;
}

body {
    font-family: Arial, Helvetica;
}

h1 {
    margin-top:0;
}

h2 {
    margin-top:1.3em;
}

h1 {
    color: rgb(227,105,36); font-size:20px;
}

h2, h3, h4 {
    color: rgb(51,90,157);
}

h3 {
    font-style:italic;
}

pre {
    background-color: rgb(234,238,246);
}

h2, h3, h4, p, ul, ol, th, td, input, pre {
    font-size:@baseSize;
}

p, br, ul p-implied, ol p-implied {
    margin-top:0pt; margin-bottom:4pt;
}

dfn {
    font-style: normal;
}

s, u {
    color: rgb(255,221,127);
}

ol, ul {
    margin-top:0pt; margin-bottom:0pt; margin-right:0pt; padding-left:0pt;
}

ol, ul, ul ul {
    margin-left:14px;
}

@if uaType applet
ul {
    list-style-image: url(../images/bullet1.png);
}

ul ul {
    list-style-image: url(../images/bullet2.png);
}
@else
ul {
    list-style-type: none; margin-left:0pt;
}

ul li { 
    background-image: url(../images/bullet1.png); background-repeat: no-repeat; background-position: left 0px; padding-left: 12pt;
}

ul ul li { 
    background-image: url(../images/bullet2.png);
}
@endif

ol {
    margin-left:20px;
}

ol li {
    padding-left:0px;
}

li {
    margin-top:0pt; margin-bottom:3pt;
}

table {
    table-layout: fixed; width: 100%; border-collapse: collapse;
}

th, .label {
    color: rgb(51,90,157); text-align: left;
}

th, td {
    border-collapse: collapse;
}

.warning, .info {
    margin-top: 1em;
    margin-bottom: 1em;
    background-repeat: no-repeat;
    background-position: 1em 1em;
    padding-top:18pt;
    padding-left: 60pt;
    padding-bottom:1em;
    border-radius: 1em;
}

.warning {
    background-image: url(../resources/images/error);
    background-color:#FBEDBB;
    /* box-shadow: gray 0.5em 0.5em 0.3em; */
}

.warning:before {
    display:block;
    content:"Warning"; font-size:16px; font-style: bold; color: rgb(227,105,36);
}

.info {
    background-image: url(../resources/images/info);
    background-color:#FBEDBB;
}

.info:before {
    display:block;
    content:"Info"; font-size:16px; font-style: bold; color: #2E5348;
}

.comment {
    margin-top: 1em;
    background-color: #FBEDBB;
    padding-top:1em;
    padding-bottom:1em;
    padding-left:1em;
}

div#outsideTree {
    margin-top:10px;
    padding-top:65px;
    padding-left:20px;
    background: url(../images/logo.gif) no-repeat;
}